221. The fire in the equations
پدیدآورنده : Ferguson, Kitty.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Religion and science,، God-- Proof, Cosmological,، Knowledge, Theory of
رده :
BL
240
.
2
.
F44
1994
222. <The> Nuts and Bolts of Proofs
پدیدآورنده : / Antonella Cupillari
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Proof theory,تئوری اثبات
رده :
QA9
,.
54
.
C86
2013
223. The age of alternative logics :
پدیدآورنده : edited by Johan van Benthem ... [and others]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
رده :
BC135
.
A39
2006
224. The age of alternative logics : assessing philosophy of logic and mathematics today
پدیدآورنده : edited by Johan van Benthem... ]et al.[
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
225. The age of alternative logics: assessing philosophy of logic and mathematics today
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A39
2006
226. The art of proof :
پدیدآورنده : Matthias Beck, Ross Geoghegan
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics-- Study and teaching,Proof theory
رده :
QA9
.
54
.
B43
2010
227. The blind spot :
پدیدآورنده : Jean-Yves Girard
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic,Proof theory
228. The evidence for God : religious knowledge reexamined
پدیدآورنده : Moser, Paul K., 7591-
کتابخانه: (طهران)
موضوع : ، God -- Proof,، God )Christianity(,، Knowledge, Theory of )Religion(
رده :
BT
103
.
M68E9
229. The fire in the equations: science, religion, and the search for God
پدیدآورنده : Ferguson, Kitty
کتابخانه: (قم)
موضوع : ، Religion and science,Proof, Cosmological ، God,، Knowledge, Theory of
رده :
BL
240
.
2
.
F45
1995
230. The history of mathematical proof in ancient traditions /
پدیدآورنده : edited by Karine Chemla
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics, Ancient,Proof theory
رده :
QA22
.
H588
2012
231. The logic of provability
پدیدآورنده : Boolos, George S., 0491-6991
کتابخانه: (طهران)
موضوع : ، Modality )Logic(,، Proof theory
رده :
BC
199
.
M6B6
232. The moment of proof :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory ; Popular works. ;
233. The moment of proof
پدیدآورنده : Donald C. Benson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Proof theory-- Popular works.
234. The moment of proof: mathematical epiphanies
پدیدآورنده : Benson, Donald C.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
B46
1999
235. The nuts and bolts of proofs
پدیدآورنده : / Antonella Cupillari
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Proof theory
رده :
E-BOOK
236. The nuts and bolts of proofs
پدیدآورنده : Cupillari, Antonella
کتابخانه: (طهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
C86N8
2005
237. The nuts and bolts of proofs
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory. ;
238. The nuts and bolts of proofs
پدیدآورنده : Cupillari, Antonella
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
C86
2001
239. The nuts and bolts of proofs : an introduction to mathematical proofs
پدیدآورنده : Cupillari, Antonella
کتابخانه: (طهران)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
C86N8
2013
240. The science of learning mathematical proofs :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Proof theory. ;
